Explanatory Abstractions
نویسندگان
چکیده
منابع مشابه
Explanatory Lineage
As data analytics becomes mainstream, and the complexity of the underlying data and computation grows, end-users will increasingly rely on visualizations to present simplified statistics that summarizes interesting properties in the data. It is even more important to provide tools that help analysts understand the underlying reasons when they see anomalous results. We envision adding a new expl...
متن کاملAbstractions += Landmarks
ions += Landmarks Carmel Domshlak and Michael Katz and Sagi Lefler Faculty of Industrial Engineering and Management Technion—Israel Institute of Technology Haifa, Israel
متن کاملAlgebraic Abstractions
In this paper we study abstraction techniques for verification problems of the form C j= , where C is a first-order structure and is a first-order formula (both w.r.t. a given signature ). This study is motivated by the need of such abstractions for the automatic verification of properties of cryptographic protocols, which in our approach are modeled by first-order structures. Our so-called alg...
متن کاملConstraint Abstractions
Many type based program analyses with subtyping, such as ow analysis, are based on inequality constraints over a lattice. When inequality constraints are combined with polymorphism it is often hard to scale the analysis up to large programs. A major source of ineeciency in conventional implementations stems from computing substitution instances of constraints. In this paper we extend the constr...
متن کاملRanking Abstractions
We propose an abstract interpretation algorithm for proving that a program terminates on all inputs. The algorithm uses a novel abstract domain which uses ranking relations to conservatively represent relations between intermediate program states. One of the attractive aspects of the algorithm is that it abstracts information that is usually not important for proving termination such as program...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The British Journal for the Philosophy of Science
سال: 2019
ISSN: 0007-0882,1464-3537
DOI: 10.1093/bjps/axx016